Definitions | Id, t T, True, x:A B(x), IdLnk, type List, [], x:A. B(x), (x l), s = t, {T}, P  Q, SQType(T), , ||as||, s ~ t, False, A, A B, , {x:A| B(x)} , , A c B, x:A. B(x), x:A B(x), x L. P(x), P  Q, source(l),  x. t(x), P & Q, P   Q, msg-spec-links(snd), msg-spec-loc(snd;i) |